$\vdash$  $\forall$$A$, $B$, $C$:Type. $A$ $\equiv$ $B$ $\Rightarrow$ $B$ $\equiv$ $C$ $\Rightarrow$ $A$ $\equiv$ $C$